（来源：上观新闻）
有人说AI🥣🕠的缩放定律已经到🏳🇨🇮顶了？🤜Feldma🔲n不同意📚。特斯拉CEO⚡🕖马斯克上个月公布🍷Tera🎁🍢fab计划，将打⛹️♀️🇳🇱造超大🍂型AI📵芯片工厂，以🙄支持该⭐🇬🇬公司发展机器人与😕数据中心的雄🔍🇲🇴心🍳。Etched走➡了一条更极端的路🥈。我喜欢那个想法🆘，我觉得它🥢正在成👩🏫为现实😬🥫。对V3模型有🏟🏫重要贡献的罗福🥩莉已加入小🛸米，负责新🎲👨👨👧👧成立的人工智能部👨👨👧门👩👩👦。
在 2👚0 世💸纪 60 年🥗代，托尼·霍尔提👨出了今📆天形式化验证的🇦🇫⁉重要基石—⛰—霍尔逻辑🐄，然而😬直到他今年逝👶世前，形式🍚化验证仍然囿于人🥣🙏力成本🕰🇰🇲，难以🏏99色图网扩展至大规模软🧕件中👅🏈。就比如🏍👨⚖️这台，主◾打「数字排毒」的🏘♎手机—— Me💞ado👨🎨w P🕌🇧🇯99色图网hone🛁🛄 Me😭👩👧👧adow P⚗hone🧼 第一眼🔢🌩看过去🎆，大伙就能感觉🕜到🐎💁♂️。
